| Ident. | Authors (with country if any) | Title |
|---|
| 001268 |
Antoine Rousseau [France] ; Aurélie Darnaud [France] ; Brice Goglin [France] ; Céline Acharian [France] ; Christine Leininger [France] ; Christophe Godin [France] ; Clarisse Holik [France] ; Claude Kirchner [France] ; Diane Rives ; Elodie Darquie ; Erwan Kerrien [France] ; Fabrice Neyret [France] ; Florent Masseglia [France] ; Florian Dufour [France] ; Gérard Berry [France] ; Gilles Dowek [France] ; Hélène Robak [France] ; Hélène Xypas ; Irina Illina [France] ; Isabelle Gnaedig [France] ; Joanna Jongwane [France] ; Jocelyne Ehrel ; Laurent Viennot [France] ; Laure Guion ; Lisette Calderan [France] ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte [France] ; Martin Quinson [France] ; Martine Olivi [France] ; Mathieu Giraud [France] ; Mathilde Dorémus ; Mia Ogouchi [France] ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier [France] ; Nicolas Roussel [France] ; Pascal Guitton [France] ; Pierre Peterlongo [France] ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre [France] ; Sylvie Boldo [France] ; Thierry Viéville [France] ; Véronique Poirel [France] ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz [France] ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane Laurent [Belgique] | Médiation Scientifique : une facette de nos métiers de la recherche |
| 002380 |
Claude Kirchner [France] ; Helene Kirchner [France] ; Fabrice Nahon [France] | Narrowing Based Inductive Proof Search |
| 002C07 |
Sansom Abramski ; Cyril Gavoille [France] ; Claude Kirchner [France] ; Friedhelm Meyer Auf Der Heide ; Paul G. Spirakis | Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS) |
| 002E28 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-patterns for Rule-based Languages |
| 003171 |
Guillaume Burel [France] ; Claude Kirchner [France] | Regaining cut admissibility in deduction modulo using abstract completion |
| 003521 |
Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Cláudia Tavares [France] | A Type System for Tom |
| 003687 |
Véronique Cortier [France] ; Claude Kirchner [France] ; Mitsuhiro Okada [Japon] ; Hideki Sakurada [Japon] | Formal to practical Security |
| 003942 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France] | Inductive proof search modulo |
| 003F50 |
Anderson Santana De Oliveira [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Analysis of Rewrite-Based Access Control Policies |
| 004635 |
Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-Pattern Matching Modulo |
| 004670 |
Anderson Santana De Oliveira [France] ; Eric Ke Wang ; Claude Kirchner [France] ; Hélène Kirchner [France] | Weaving Rewrite-Based Access Control Policies |
| 004759 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Inductive Proof Search Modulo |
| 004808 |
Paul Brauner [France] ; Clement Houtmann [France] ; Claude Kirchner [France] | Principles of Superdeduction |
| 004862 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Towards a sharing strategy for the graph rewriting calculus |
| 004865 |
Paul Brauner [France] ; Clément Houtmann [France] ; Claude Kirchner [France] | Superdeduction at work |
| 004898 |
Guillaume Burel [France] ; Claude Kirchner [France] | Cut Elimination in Deduction Modulo by Abstract Completion |
| 004A76 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
| 004A79 |
Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France] | A Rho-Calculus of explicit constraint application |
| 004B67 |
Clara Bertolissi [France] ; Claude Kirchner [France] | The Rewriting Calculus as a Combinatory Reduction System |
| 004D06 |
Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-pattern Matching |
| 004E91 |
Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-Pattern Matching Modulo |
| 005075 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal Islands |
| 005103 |
Guillaume Burel [France] ; Claude Kirchner [France] | Completion is an Instance of Abstract Canonical System Inference |
| 005157 |
Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Termination in finite mean time of a CSMA/CA rule-based model |
| 005172 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France] | Modular Formal Islands: Embed theory in your practice |
| 005206 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | Decidable Type Inference for the Polymorphic Rewriting Calculus |
| 005254 |
Horatiu Cirstea [France] ; Clara Bertolissi [France] ; Claude Kirchner [France] | Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus |
| 005602 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
| 005605 |
Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Expressing combinatory reduction systems derivations in the rewriting calculus |
| 005623 |
Nachum Dershowitz [Israël] ; Claude Kirchner [France] | Abstract canonical presentations |
| 005642 |
Claude Kirchner [France] | Sécurité Informatique: Introduction |
| 005703 |
Olivier Bournez [France] ; Garnier Florent [France] ; Claude Kirchner [France] | Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b |
| 005968 |
Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France] | Formal Validation of Pattern Matching Code |
| 005A76 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; Anderson Santana De Oliveira [France] | Anchoring modularity in HTML. |
| 005A80 |
Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] ; Artur Wilk [Suède] | Types for REWERSE reasoning and query languages I3-D4 |
| 005C52 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
| 006600 |
Clara Bertolissi [France] ; Paolo Baldan [Italie] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
| 006666 |
Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France] | A rho-calculus of explicit constraint application. |
| 006682 |
Claude Kirchner [France] | L'Action Concerté Incitative Sécurité et Informatique |
| 006A79 |
Claude Kirchner [France] | L’action concertée incitative Sécurité et informatique |
| 006B37 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-Based Programming and Proving: The ELAN Experience Outcomes |
| 006D61 |
Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Stratégies de réécriture probabiliste dans ELAN4 |
| 006E56 |
Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Jan Maluszynski ; Benjamin Wack [France] | Types for Web Rule Languages: a preliminary study |
| 006E81 |
Claude Kirchner [France] | Strategic Rewriting |
| 006E95 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: the ELAN experience outcomes |
| 006F11 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production and Rewrite Systems |
| 006F12 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production Systems and Rewrite Systems |
| 006F13 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production Systems and Rete Algorithm Formalisation |
| 006F14 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production Systems and Rete Algorithm Formalisation |
| 006F84 |
Eric Deplagne [Belgique] ; Claude Kirchner [France] | Induction as Deduction Modulo |
| 007220 |
Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang-Huy Nguyen [France] | Proof Search and Proof Check for Equational and Inductive Theorems |
| 007236 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | Rewrite Strategies in the Rewriting Calculus |
| 007255 |
Nachum Dershowitz [Canada] ; Claude Kirchner [France] | Abstract Saturation-based Inference |
| 007291 |
Gilles Barthe [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Pure Patterns Type Systems |
| 007981 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Theorem Proving Modulo |
| 007D32 |
Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Translating Combinatory Reduction Systems into the Rewriting Calculus |
| 007D38 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Theorem Proving Modulo Revised Version |
| 007D40 |
Mohamed El Habib ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] | The QSL platform at LORIA |
| 007F41 |
Claude Kirchner [France] | Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02) |
| 007F46 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Binding Logic: proofs and models |
| 007F50 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Rewriting Calculus with(out) Types |
| 007F89 |
Germain Faure [France] ; Claude Kirchner [France] | Exceptions in the rewriting calculus |
| 007F90 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | The rho cube : some results, some problems |
| 008010 |
Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic rewrite strategies. Applications to ELAN |
| 008018 |
Germain Faure [France] ; Claude Kirchner [France] | Exceptions in the rewriting calculus |
| 008020 |
Eric Deplagne [France] ; Claude Kirchner [France] | Deduction versus Computation: the Case of Induction |
| 008021 |
Nachum Dershowitz ; Claude Kirchner [France] | Abstract Canonical Inference Systems |
| 008764 |
Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic Rewrite Strategies. Applications to ELAN |
| 008808 |
Germain Faure [France] ; Claude Kirchner [France] | Exceptions in the Rewriting Calculus |
| 008815 |
Eric Deplagne [France] ; Claude Kirchner [France] | Deduction versus Computation: The Case of Induction |
| 008832 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Binding Logic: Proofs and Models |
| 008914 |
Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from a rewriting logic point of view |
| 008A49 |
Carlos Castro [France] ; Claude Kirchner [France] | Towards a Methodology for Rule-Based Programming |
| 008B44 |
Quang-Huy Nguyen [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | External rewriting for skeptical proof assistants (extended version) |
| 008C23 |
Nachum Dershowitz ; Claude Kirchner [France] | Inversion Strategies |
| 008C92 |
Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
| 008C93 |
Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
| 008D07 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching Power |
| 008D14 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | The Rho Cube |
| 008E10 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 009265 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | The Rho Cube |
| 009331 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching Power |
| 009441 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching power |
| 009513 |
Claude Kirchner [France] | ELAN : Modélisation et preuve en calcul de réécriture |
| 009532 |
Claude Kirchner [France] ; Zhebin Qian [France] ; Preet Kamal Singh [France] ; Jürgen Stuber [France] | Xemantics: a Rewriting Calculus-Based Semantics of XSLT |
| 009555 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus - Part II |
| 009556 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus - Part I |
| 009587 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Rewriting and Multisets in Rho-calculus and ELAN |
| 009751 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The simply typed rewriting calculus |
| 009762 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Rewriting and Multisets in the Rewriting Calculus and ELAN |
| 009793 |
Claude Kirchner [France] | ELAN ou la programmation par réécriture |
| 009D05 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The simply typed rewriting calculus |
| 009D47 |
Eric Domenjoud [France] ; Claude Kirchner [France] ; Jianyang Zhou [France] | Generating Feasible Schedules for a Pick-up and Delivery Problem |
| 009E84 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Higher Order Unification via Explicit Substitutions |
| 00A130 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus |
| 00A186 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching Power |
| 00A296 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | A Rho Cube |
| 00A349 |
Claude Kirchner [France] | The rewriting calculus as a semantics to strategy application. Application to ELAN. |
| 00A350 |
Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France] | HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic |
| 00A362 |
Claude Kirchner [France] | Deduction and theorem proving modulo |
| 00A467 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 00A482 |
Claude Kirchner [France] ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre Jouannaud | A Methodological View of Constraint Solving |
| 00A992 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic |
| 00AA59 |
Hubert Comon [France] ; Mehmet Dincbas [France] ; Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] | A Methodological View of Constraint Solving |
| 00AB98 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Using Rewriting and Strategies for Describing the B Predicate Prover |
| 00AC85 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Introduction to the Rewriting Calculus |
| 00AD01 |
Eric Domenjoud [France] ; Claude Kirchner [France] ; Jianyang Zhou [France] | Generating feasible schedules for a pick-up and delivery problem |
| 00AD21 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from the rewriting logic point of view |
| 00AE96 |
Claude Kirchner [France] ; Christophe Ringeissen [France] | Rule-Based Constraint Programming |
| 00B313 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus as a Semantics of ELAN |
| 00B362 |
Eric Domenjoud [France] ; Claude Kirchner [France] ; Jianyang Zhou [France] | Generating feasible schedules for a pick-up and delivery problem |
| 00B546 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Using Rewriting and Strategies for Describing the B Predicate Prover |
| 00B550 |
Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] ; Frank Pfenning | Unification via Explicit Substitutions: The Case of Higher-Order Patterns |
| 00B557 |
Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] | Theorem Proving Modulo |
| 00B587 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language |
| 00B641 |
Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] | Holls: an Intentional First-Order Expression of Higher-Order Logic |
| 00B645 |
Eric Domenjoud [France] ; Claude Kirchner ; Jianyang Zhou | Generating feasible schedules for a pick-up and delivery problem |
| 00B678 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN |
| 00B679 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version |
| 00B687 |
Claude Kirchner [France] ; Hélène Kirchner | Automated Deduction - CADE-15 |
| 00B695 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | An Overview of ELAN |
| 00B708 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | A functional view of rewriting and strategies for a semantics of ELAN |
| 00B728 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | $\rho$-Calculus. Its Syntax and Basic Properties |
| 00BC45 |
Claude Kirchner [France] ; Christophe Ringeissen [France] | Higher-order equational unification via explicit substitutions |
| 00C006 |
Ilies Alouini [France] ; Claude Kirchner [France] | Toward the concurrent implementation of computational systems |
| 00C067 |
Claude Kirchner [France] ; Christopher Lynch [France] ; Christelle Scharff [France] | Fine-grained concurrent completion |
| 00C161 |
Iliès Alouini [France] ; Claude Kirchner [France] | Conditional Concurrent Rewriting |
| 00C165 |
Claude Kirchner [France] ; Christopher Lynch ; Christelle Scharff | A Fine-Grained Concurrent Completion Procedure |
| 00C703 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Sort inheritance for order-sorted equational presentations |
| 00C833 |
Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France] | Higher Order Unification via Explicit Substitutions |
| 00CD30 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
| 00CD92 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Claude Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
| 00D669 |
Claude Kirchner [France] ; Patrick Viry [France] | Implementing parallel rewriting |
| 00DE09 |
Claude Kirchner [France] | Tutorial on equational unification |
| 00DE35 |
Claude Kirchner [France] ; Patrick Viry [France] | Implementing parallel rewriting |
| 00DE60 |
Mohamed Adi [France] ; Claude Kirchner [France] | AC-unification race: The system solving approach and its implementation |
| 00DE70 |
Claude Kirchner [France] ; Hélène Kirchner ; Michaël Rusinowitch | Deduction with symbolic constraints |
| 00E343 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis] | Operational semantics of OBJ-3 |
| 00E348 |
Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Aristide Mégrelis [France] | OBJ: Programming with equalities, subsorts, overloading and parameterization |
| 00E358 |
Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Equational completion in order-sorted algebras extended abstract |
| 00EA42 |
Pierre Rety [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre Lescanne [France] | NARROWER: a new algorithm for unification and its application to Logic Programming |
| 00EA44 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Implementation of a general completion procedure parameterized by built-in theories and strategies |
| 00ED11 |
Jean Pierre Jouannaud [France] ; Claude Kirchner [France] ; Helene Kirchner [France] | Incremental construction of unification algorithms in equational theories |
